"Harrie C.M. de Swart" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Relational and Algebraic Methods in Computer Science - RAMICS 2011

Harrie de Swart

3.19 Mb

#2

Relational Methods in Computer Science, 6 conf., RelMICS 2001

Harrie C.M. de Swart

Категория: Cs_Computer science, CsLn_Lecture notes

4.22 Mb

#3

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98

Harrie de Swart

Категория: Cs_Computer science, CsLn_Lecture notes

1.73 Mb

#4

Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

Категория: CsLn_

2.42 Mb

#5

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

3.76 Mb